Философия науки - модальная логика
Связанные словари
Модальная логика
модальная логика
— системы математической логики, в которых формализованы модальные операторы естественного и научного языка, такие, как «возможно», «необходимо», «невозможно». Использование модальных логик позволило расширить область применения методов математической логики для формализации научных языков. (См. математическая логика).
Рейтинг статьи:
См. в других словарях
1.
— область логики, в которой изучаются логические операторы, называемые модальностями. В качестве стандартных обычно используются (алетические) модальности: «необходимость» и «возможность». Первые исследования в области модальной логики принадлежат Аристотелю, который наряду с ассерторическими силлогизмами ввел в обращение модальные силлогизмы, в которых хотя бы одна из посылок является высказыванием типа «А необходимо принадлежит В», «А возможно принадлежит В». При этом необходимое Аристотель не считал возможным. Следующий шаг в развитии модальной логики сделал ученик Аристотеля Теофраст, который стал относить модальность к высказываниям в целом, а не к отдельным понятиям. Кроме того, он принял тезис: все необходимое возможно, что открыло дорогу к определению возможности через необходимость: «возможно А» эквивалентно «не необходимо не-А». В средние века произошло разделение модальностей на модальности de dicto (о речи), относящиеся к высказыванию в целом, и модальности de re (о вещи), относящиеся к свойствам. Современные исследования модальной логики связаны во многом с именем К. Льюиса, построившего...Новая философская энциклопедия
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 3864 | |
2 | 3826 | |
3 | 3659 | |
4 | 3025 | |
5 | 2337 | |
6 | 2310 | |
7 | 2294 | |
8 | 2167 | |
9 | 1931 | |
10 | 1850 | |
11 | 1760 | |
12 | 1710 | |
13 | 1607 | |
14 | 1584 | |
15 | 1462 | |
16 | 1428 | |
17 | 1424 | |
18 | 1409 | |
19 | 1313 | |
20 | 1243 |